Detecting Generalized Replay Attacks via Time-Varying Dynamic Watermarking

نویسندگان

چکیده

Cyber-physical systems (CPS) often rely on external communication for supervisory control or sensing. Unfortunately, these communications render the system vulnerable to cyber attacks. Attacks that alter messages, such as replay attacks record measurement signals, and then play them back can cause devastating effects. Dynamic Watermarking methods, which inject a private excitation into inputs secure resulting have begun addressing challenges of detecting attacks, but been restricted linear time-invariant (LTI) systems. Though LTI models are sufficient some applications, other CPS, autonomous vehicles, require more complex models. This article develops time-varying (LTV) extension previous dynamic watermarking methods by designing matrix normalization factor accommodate temporal changes in system. Implementable tests provided with considerations real-world The proposed method is shown be able detect generalized both theory simulation using an LTV vehicle model.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Detecting Replay Attacks by Freshness Annotations

We present a reduction semantics for the LYSA calculus extended with session information and a static analysis for it. If a protocol passes the analysis then it is free of replay attacks.

متن کامل

Correlating Multi-Session Attacks via Replay

Intrusion analysis is a manual and time-consuming operation today. It is especially challenging because attacks often span multiple sessions which makes it is hard to diagnose all the damage caused by an attack. One approach for determining dependencies between the sessions of an attack is system-call taint analysis, but this method can generate large numbers of false dependencies due to shared...

متن کامل

Strategies against Replay Attacks

The goal of this paper is to present a set of design principles for avoiding replay attacks in cryptographic protocols. The principles are easily applied to real protocols and they do not consume excessive computing power or communications bandwidth. In particular, we describe how to type-tag messages with unique cryptographic functions, how to inexpensively implement the full information princ...

متن کامل

Time-varying Stabilization of Hamiltonian Systems via Generalized Canonical Transformations

This paper focuses on the stabilization of port-controlled Hamiltonian systems employing possibly time-varying controllers. At first we refer to the generalized canonical transformation which preserves the structure of Hamiltonian systems and the passivity property that physical systems innately possess. Next we show a general stabilization strategy for port-controlled Hamiltonian systems based...

متن کامل

Dynamic Filtering of Time-Varying Sparse Signals via ℓ1 Minimization

Despite the importance of sparsity signal models and the increasing prevalence of high-dimensional streaming data, there are relatively few algorithms for dynamic filtering of time-varying sparse signals. Of the existing algorithms, fewer still provide strong performance guarantees. This paper examines two algorithms for dynamic filtering of sparse signals that are based on efficient `1 optimiz...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Transactions on Automatic Control

سال: 2021

ISSN: ['0018-9286', '1558-2523', '2334-3303']

DOI: https://doi.org/10.1109/tac.2020.3022756